Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
241	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics
242	Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-01-21 13:03:49 Algebraic logic Binary decision diagram Diagrams Model checking Prime number 700 500 Canonical form Binary function Mathematics Boolean algebra Mathematical logic
243	A Theory of Non-Deterministic Networks Alan Mishchenko and Robert K. Brayton Department of EECS, University of California at Berkeley {alanmi, brayton}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-08-12 19:40:51 Boolean network Canonical form Artificial neuron Science Abstraction Logic Neural networks Bioinformatics
244	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
245	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 20:55:14 Electronics Diagrams Boolean algebra And-inverter graph Canonical form Logic synthesis Circuit Boolean function Topology Electronic engineering Electromagnetism Electronic design automation
246	Higher-Order Flexibilities in Multi-Valued Networks Alan Mishchenko Department of ECE Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-04-15 13:42:30 Binary trees Mathematics Tango tree Algebraic logic Canonical form Logic
247	Logic Synthesis of Reversible Wave Cascades Portland Quantum Logic Group Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 14:51:54 Algebraic logic Mathematical logic Models of computation Digital electronics Electronic design automation Toffoli gate Quantum gate Canonical form Logic synthesis Logic gates Electronic engineering Theoretical computer science
248	Large-Scale SOP Minimization Using Decomposition and Functional Properties Alan Mishchenko Tsutomu Sasao Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-03-28 23:58:44 Algebraic logic Canonical form Logic
249	A Theory of Non-Deterministic Networks Alan Mishchenko and Robert Brayton Department of EECS, UC Berkeley, Berkeley, CA[removed]Phone: [removed]Fax: [removed]. {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-30 02:17:35 Science Canonical form Boolean network Artificial neuron Influence diagram Boolean algebra Mathematics Abstraction Logic Algebraic logic Neural networks
250	Board-Level Multiterminal Net Assignment Xiaoyu Song1, William N. N. Hung2, Alan Mishchenko1, Malgorzata Chrzanowska-Jeske1, Alan Coppola3 and Andrew Kennings4 1 Department of ECE, Portland State University, Portland, O Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-03-01 13:11:46 Applied mathematics Logic in computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array Conjunctive normal form Routing Theoretical computer science Electronic engineering Electronic design automation

UPDATE